Self-adaptation and secure information flow in multiparty communications

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

We present initial results on a comprehensive model of structured communications, in which selfadaptation and security concerns are jointly addressed. More specifically, we propose a model of self-adaptive, multiparty communications with secure information flow guarantees. In this model, security violations occur when processes attempt to read or write messages of inappropriate security levels ...

Information Flow Safety in Multiparty Sessions

We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use of our monitored semantics with various examples, and show that the induced safety property implies a noninterference property studied previously.

Secure Multiparty Computation and Secret Sharing - An Information Theoretic Appoach

Multiparty, Multimedia Communications Systems

In recent years, there has been a growing interest in multimedia computer systems and applications. We will explore the important challenges that multimedia systems pose to system and application developers, and describe the main issues involved. An overview of the current systems and research in the area and how they have addressed some of these challenges will be provided, with emphasis on th...

Secure Information Flow and CPS

Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style as a means of proving that such languages enforce non-interference and as a first step towards understanding their compilation. We present a lowlevel, secure calculus with higher-order, imperative features. Our type system makes novel use of ordered linear continua...